| emsoft | participants

Iris Hui-Ru Jiang

EMSOFT 2019: 19th International Conference on Embedded Software

Graph-Based Modeling, Scheduling, and Verification for Intersection Management of Intelligent Vehicles